Blocking Sets , k - Arcs and Nets of Order Ten

نویسنده

  • A. BRUEN
چکیده

Our first main objective here is to unify two important theories in finite geometries, namely, the theories of k-arcs and blocking sets. This has a number of consequences, which we develop elsewhere. However,one consequence that we do discuss here is an improvement of Bruck’s bound [ l] concerning the possibility of embedment of finite nets of order II, in the controversial case when n = 10. The argument also makes use of a recent computer result of Denniston [5]. The second (related) main result involves a new combinatorial bound concerning blocking sets (Theorem 5). We are able to show that the bound is sharp by constructing a new class of geometrical examples of blocking sets in Theorem 6. See also the note added in proof.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On small complete arcs in a finite plane

Recent results on blocking sets are applied to the bisecants of a small complete arc, since these lines form a dual blocking set. It is shown that such blocking sets yield a lacunary polynomial of specific type. This leads to an improvement to the lower bound of the existence of a complete k-arc when the order of the plane is a square prime.

متن کامل

Reduction rules for reset/inhibitor nets

Reset/inhibitor nets are Petri nets extended with reset arcs and inhibitor arcs. These extensions can be used to model cancelation and blocking. A reset arc allows a transition to remove all tokens from a certain place when the transition fires. An inhibitor arc can stop a transition from being enabled if the place contains one or more tokens. While reset/inhibitor nets increase the expressive ...

متن کامل

Petri Nets with Non-blocking Arcs are Difficult to Analyze

In this paper, we study the decidability of five problems on a class of extended Petri nets. The study of this class of extended Petri nets is motivated by the problem of parametric verification of multiple copies of processes that can communicate with a partially non-blocking rendez-vous. This kind of communications occurs in abstractions of multi-threaded JAVA programs.

متن کامل

Causality in Extensions of Petri Nets

The causal semantics of standard net classes like Elementary Net Systems and Place/Transition Nets, is typically expressed in terms of partially ordered sets of transition occurrences. In each such partial order, causally related occurrences are ordered while concurrent transition occurrences remain unordered. Partial order semantics can, in particular, support model checking by efficient verif...

متن کامل

Multiple blocking sets and arcs in finite planes

This paper contains two main results relating to the size of a multiple blocking set in PG(2, q). The first gives a very general lower bound, the second a much better lower bound for prime planes. The latter is used to consider maximum sizes of (k, n)-arcs in PG(2, 11) and PG(2, 13), some of which are determined. In addition, a summary is given of the value of mn(2, q) for q ≤ 13.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003